169 research outputs found
Hyperstates of Involutive MTL-Algebras that Satisfy
States of MV-algebras have been the object of intensive study and attempts of
generalizations. The aim of this contribution is to provide a preliminary
investigation for states of prelinear semihoops and hyperstates of algebras in
the variety generated by perfect and involutive MTL-algebras (IBP0-algebras for
short). Grounding on a recent result showing that IBP0-algebras can be
constructed from a Boolean algebra, a prelinear semihoop and a suitably defined
operator between them, our first investigation on states of prelinear semihoops
will support and justify the notion of hyperstate for IBP0- algebras and will
actually show that each such map can be represented by a probability measure on
its Boolean skeleton, and a state on a suitably defined abelian l-group.Comment: 12 page
Cauchy completeness in elementary logic
The inverse of the distance between two structures A not equal B of finite type sis naturally measured by the smallest integer q such that a sentence of quantifier rank q-1 is satisfied by A but not by B. In this way the space Str of structures of type tau is equipped with a pseudometric. The induced topology coincides with the elementary topology of Str(tau). Using the rudiments of the theory of uniform spaces, in this elementary note we prove the convergence of every Cauchy net of structures, for any type tau.6141153115
Stable non-standard imprecise probabilities
Stability arises as the consistency criterion in a betting interpretation for hyperreal imprecise previsions, that is imprecise previsions (and probabilities) which may take infinitesimal values. The purpose of this work is to extend the notion of stable coherence introduced in [8] to conditional hyperreal imprecise probabilities. Our investigation extends the de Finetti-Walley operational characterisation of (imprecise) prevision to conditioning on events which are considered "practically impossible" but not "logically impossible"
A representation theorem for MV-algebras
An {\em MV-pair} is a pair where is a Boolean algebra and is
a subgroup of the automorphism group of satisfying certain conditions. Let
be the equivalence relation on naturally associated with . We
prove that for every MV-pair , the effect algebra is an MV-
effect algebra. Moreover, for every MV-effect algebra there is an MV-pair
such that is isomorphic to
Electron-hole asymmetry in two-terminal graphene devices
A theoretical model is proposed to describe asymmetric gate-voltage
dependence of conductance and noise in two-terminal ballistic graphene devices.
The model is analyzed independently within the self-consistent Hartree and
Thomas-Fermi approximations. Our results justify the prominent role of metal
contacts in recent experiments with suspended graphene flakes. The
contact-induced electrostatic potentials in graphene demonstrate a power-law
decay with the exponent varying from -1 to -0.5. Within our model we explain
electron-hole asymmetry and strong Fabri-Perot oscillations of the conductance
and noise at positive doping, which were observed in many experiments with
submicrometer samples. Limitations of the Thomas-Fermi approximation in a
vicinity of the Dirac point are discussed.Comment: 7 pages, 8 figure
Smearing of Observables and Spectral Measures on Quantum Structures
An observable on a quantum structure is any -homomorphism of quantum
structures from the Borel -algebra of the real line into the quantum
structure which is in our case a monotone -complete effect algebras
with the Riesz Decomposition Property. We show that every observable is a
smearing of a sharp observable which takes values from a Boolean
-subalgebra of the effect algebra, and we prove that for every element
of the effect algebra there is its spectral measure
Sharp and fuzzy observables on effect algebras
Observables on effect algebras and their fuzzy versions obtained by means of
confidence measures (Markov kernels) are studied. It is shown that, on effect
algebras with the (E)-property, given an observable and a confidence measure,
there exists a fuzzy version of the observable. Ordering of observables
according to their fuzzy properties is introduced, and some minimality
conditions with respect to this ordering are found. Applications of some
results of classical theory of experiments are considered.Comment: 23 page
Semiring and semimodule issues in MV-algebras
In this paper we propose a semiring-theoretic approach to MV-algebras based
on the connection between such algebras and idempotent semirings - such an
approach naturally imposing the introduction and study of a suitable
corresponding class of semimodules, called MV-semimodules.
We present several results addressed toward a semiring theory for
MV-algebras. In particular we show a representation of MV-algebras as a
subsemiring of the endomorphism semiring of a semilattice, the construction of
the Grothendieck group of a semiring and its functorial nature, and the effect
of Mundici categorical equivalence between MV-algebras and lattice-ordered
Abelian groups with a distinguished strong order unit upon the relationship
between MV-semimodules and semimodules over idempotent semifields.Comment: This version contains some corrections to some results at the end of
Section
- …